Automorphisms of the truth-table degrees are fixed on some cone

نویسنده

  • Bernard A. Anderson
چکیده

Let Dtt denote the set of truth-table degrees. A bijection π : Dtt → Dtt is an automorphism if for all truth-table degrees x and y we have x ≤tt y ⇔ π(x) ≤tt π(y). We say an automorphism π is fixed on some cone if there is a degree b such that for all x ≥tt b we have π(x) = x. We first prove that for every 2-generic real X we have X ′ 6≤tt X ⊕ 0 ′. We next prove that for every real X ≥tt 0 ′ there is a real Y such that Y ⊕ 0′ ≡tt Y ′ ≡tt X. Finally, we use this to demonstrate that every automorphism of the truth-table degrees is fixed on some cone.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automorphisms of the truth-table degrees are fixed on a cone

Let Dtt denote the set of truth-table degrees. A bijection π : Dtt → Dtt is an automorphism if for all truth-table degrees x and y we have x ≤tt y ⇔ π(x) ≤tt π(y). We say an automorphism π is fixed on a cone if there is a degree b such that for all x ≥tt b we have π(x) = x. We first prove that for every 2-generic real X we have X ′ 6≤tt X ⊕ 0 . We next prove that for every real X ≥tt 0 ′ there ...

متن کامل

A Rigid Cone in the Truth-Table Degrees with Jump

The automorphism group of the truth-table degrees with order and jump is fixed on the set of degrees above the fourth jump, 0.

متن کامل

Automorphism Group of a Possible 2-(121, 16, 2) Symmetric Design

Let D be a symmetric 2-(121, 16, 2) design with the automorphism group of Aut(D). In this paper the order of automorphism of prime order of Aut(D) is studied, and some results are obtained about the number of fixed points of these automorphisms. Also we will show that |Aut(D)|=2p 3q 5r 7s 11t 13u, where p, q, r, s, t and u are non-negative integers such that r, s, t, u ? 1. In addition we prese...

متن کامل

Hypersimplicity and semicomputability in the weak truth table degrees

We study the classes of hypersimple and semicomputable sets as well as their intersection in the weak truth table degrees. We construct degrees that are not bounded by hypersimple degrees outside any non-trivial upper cone of Turing degrees and show that the hypersimple-free c.e. wtt degrees are downwards dense in the c.e. wtt degrees. Moreover, we consider the sets that are both hypersimple an...

متن کامل

On some open problems in cone metric space over Banach algebra

In this paper we prove an analogue of Banach and Kannan fixed point theorems by generalizing the Lipschitz constat $k$, in generalized Lipschitz mapping on cone metric space over Banach algebra, which are answers for the open problems proposed by Sastry et al, [K. P. R. Sastry, G. A. Naidu, T. Bakeshie, Fixed point theorems in cone metric spaces with Banach algebra cones, Int. J. of Math. Sci. ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008